1![AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA
About me AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA
About me](https://www.pdfsearch.io/img/ad23ed1e80d3b59979ca65ec204c8bc6.jpg) | Add to Reading ListSource URL: alloytools.orgLanguage: English - Date: 2018-06-13 06:07:43
|
---|
2![TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.4.A – Teil 1 TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.4.A – Teil 1](https://www.pdfsearch.io/img/0ca83b5a725d0873d7ce7fc0c6248773.jpg) | Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deLanguage: English - Date: 2012-02-20 08:24:14
|
---|
3![Instantiation of the metamodel on a widely used GNU/Linux distribution Deliverable 2.2 Nature : Deliverable Due date : Instantiation of the metamodel on a widely used GNU/Linux distribution Deliverable 2.2 Nature : Deliverable Due date :](https://www.pdfsearch.io/img/9320b4954142463d95703912473947a9.jpg) | Add to Reading ListSource URL: www.mancoosi.orgLanguage: English - Date: 2012-12-16 04:54:41
|
---|
4![Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra Stefano Merenda, Markus Herrmannsdoerfer, and Martin Feilkas Institut f¨ ur Informatik Technische Universit¨ Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra Stefano Merenda, Markus Herrmannsdoerfer, and Martin Feilkas Institut f¨ ur Informatik Technische Universit¨](https://www.pdfsearch.io/img/b633d6616f80d291222d7f587d198761.jpg) | Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deLanguage: English - Date: 2012-02-20 08:24:11
|
---|
5![Building Tools by Model Transformations in Eclipse Building Tools by Model Transformations in Eclipse](https://www.pdfsearch.io/img/acd85f7b3e7957f90d76cb0ebb528ad7.jpg) | Add to Reading ListSource URL: melnais.mii.lu.lvLanguage: English - Date: 2007-09-28 15:23:02
|
---|
6![Limitations of Automating Model Migration in Response to Metamodel Adaptation Markus Herrmannsdoerfer and Daniel Ratiu Institut f¨ ur Informatik Technische Universit¨ Limitations of Automating Model Migration in Response to Metamodel Adaptation Markus Herrmannsdoerfer and Daniel Ratiu Institut f¨ ur Informatik Technische Universit¨](https://www.pdfsearch.io/img/b43487ad89daf4fb7ff3b99f6baaf9ac.jpg) | Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deLanguage: English - Date: 2012-02-20 08:24:11
|
---|
7![Modularity: G: Interoperability and Composition of DSLs with Melange Thomas Degueule Inria, France Modularity: G: Interoperability and Composition of DSLs with Melange Thomas Degueule Inria, France](https://www.pdfsearch.io/img/b865e2d48336016e55d599f357d00233.jpg) | Add to Reading ListSource URL: src.acm.orgLanguage: English - Date: 2016-06-08 12:49:33
|
---|
8![First version of the DSL based on the model developed in WP2 Deliverable 3.2 Nature : Deliverable Due date : First version of the DSL based on the model developed in WP2 Deliverable 3.2 Nature : Deliverable Due date :](https://www.pdfsearch.io/img/e1016412220be185ecd7f50837d460c8.jpg) | Add to Reading ListSource URL: www.mancoosi.orgLanguage: English - Date: 2012-12-16 04:54:41
|
---|
9![Automating Co-evolution in Model-Driven Engineering∗ Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio Dipartimento di Informatica Universit`a degli Studi di L’Aquila I–67100 L’Aquila, Italy Automating Co-evolution in Model-Driven Engineering∗ Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio Dipartimento di Informatica Universit`a degli Studi di L’Aquila I–67100 L’Aquila, Italy](https://www.pdfsearch.io/img/546c358cd3d67060be7c376dafeb65f8.jpg) | Add to Reading ListSource URL: www.mancoosi.orgLanguage: English - Date: 2012-12-16 04:54:55
|
---|
10![Embedding Defect and Traceability Information in CIMand PIM-Level Software Models Jörg Rech and Mario Schmitt Fraunhofer IESE, Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany +2210, Embedding Defect and Traceability Information in CIMand PIM-Level Software Models Jörg Rech and Mario Schmitt Fraunhofer IESE, Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany +2210,](https://www.pdfsearch.io/img/5a4da8e4ce917c83ba11f3c6df4d04c1.jpg) | Add to Reading ListSource URL: ftp.informatik.rwth-aachen.deLanguage: English - Date: 2008-08-07 10:11:54
|
---|